home *** CD-ROM | disk | FTP | other *** search
/ Aminet 7 / Aminet 7 - August 1995.iso / Aminet / text / tex / UsingLaTeX21.lha / UsingLatex / s / MakeDCFont
Encoding:
AmigaDOS Script File  |  1994-10-03  |  267 b   |  15 lines
  1. .key FONT/A,SIZE/A
  2. .bra {
  3. .ket }
  4.  
  5. set FONTNAME `echo "{FONT}{SIZE}.mf" NOLINE`
  6.  
  7. if exists MF:inputs/dc/$FONTNAME
  8.     echo "METAFONT source file $FONTNAME already exists!"
  9. else
  10.     echo >MF:inputs/dc/$FONTNAME "gensize:={SIZE}; generate {FONT}"
  11. endif
  12.  
  13. unset FONTNAME
  14. quit 0
  15.